云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

基于频率的Read Mapping种子选择算法

选择具有最低频率的最优种子是一个复杂的计算问题,往往需要很长时间.提出了一种read的基于频率的合并种子选择算法(FMSS),该算法能够高效地选择接近最优的种子集合,可用于改善现有映射工具的性能.实验对比了平均种子选择方法和当前最优的种子选择策略(OSS,optimal seed solver),结果显示FMSS算法能够用很少的时间代价给出接近OSS的最优种子集合,这表明FMSS算法可集成到现有映射工具中用于处理更大规模的read mapping问题.     

租赁设备的状态维修决策建模与优化

随着物联网技术飞速发展,租赁设备大多安装有传感系统,可以及时地对设备关键部件和整体运行状态进行检测,进而可基于设备的健康状态为其安排更为合理的维修方案,在降低租赁商维修费用的同时,尽量少地干预客户的正常施工,并且保证租赁设备在客户施工场所的可靠运行.本文研究了基于状态检测的租赁设备的最优维修问题,研究中引入了顺序状态检测,定义了基于状态的控制限维修策略,并建立了以维修开销最小为目标的解析模型,以决策系统最优的检测间隔和预防维修阈值.除检测、维修等基本费用外,模型中还进一步考虑了租赁系统的故障罚金和故障后维修超时罚金.在模型的求解中,推导了维修干预下设备任意时刻的检测概率和状态概率分布,作为模型构建和求解的依据.数值实验结果验证并表明了面向租赁设备的基于状态的维修策略的有效性.     

基于深度图像预旋转的手势估计改进方法

基于深度图像的手势估计比人体姿势估计更加困难,部分原因在于算法不能很好地识别同一个手势经旋转后的不同外观样式.提出了一种基于卷积神经网络(Convolutional Neural Network, CNN)推测预旋转角度的手势姿态估计改进方法:先利用自动算法标注的最佳旋转角度来训练CNN;在手势识别之前,用训练好的CNN模型回归计算出应预旋转的角度,然后再对手部深度图像进行旋转;最后采用随机决策森林(Random Decision Forest, RDF)方法对手部像素进行分类,聚类产生出手部关节位置.实验证明该方法可以减少预测的手部关节位置与准确位置之间的误差,手势姿态估计的正确率平均上升了约4.69%.     

基于空地协同采样的植被覆盖度随机森林估算方法

基于无人机高光谱影像, 建立地形复杂地区植被覆盖度的非参数随机森林回归估算模型。为获得构建随机森林模型所需的足够数量的训练样本, 利用低空无人机搭载的光学相机, 在从地面难以到达的山地、水域和植被茂密区, 通过垂直拍摄获得厘米分辨率的航拍影像, 作为对地面样方采样的补充。首先计算地面数码相机照片和无人机可见光影像的红绿蓝植被指数(red-green-blue vegetation index, RGBVI), 然后使用大津分割法提取样方的植被覆盖信息, 得到构建模型所需的训练样本。在此基础上, 基于2018年8月16—18日在内蒙古自治区察右中旗油娄沟矿区获取的GaiaSky-mini2无人机高光谱影像数据, 利用递归特征消除算法优选参与随机森林回归的特征变量集, 利用空地协同获取的训练样本构建植被覆盖度的随机森林回归估算模型。该模型在测试集上的确定系数R2为0.923, 均方根误差为0.087, 优于常用的像元二分模型, 可用于矿区植被动态信息的精细化监测。     

中国西北干旱区过度灌溉绿洲的水分收支特征研究

基于水分收支平衡原理, 观测2012年生长季张掖绿洲的水分收支分量动态特征, 探究灌溉对绿洲水分收支的影响。结果表明: 1) 无降水及灌溉时, 绿洲内40~100 cm深度的土壤含水量高 0~20 cm的土壤, 强降水事件对0~20 cm的土壤含水量影响较大, 而灌溉事件对 0~100 cm的土壤含水量有明显影响; 2) 无降水及灌溉时, 绿洲的日均蒸散发(ET)为2.83 mm/d, 降水事件后3日蒸散发量为降水之前的 1.16倍, 灌溉事件之后2日蒸散速率为灌溉之前的1.88倍, 说明灌溉对绿洲的蒸散发影响更为显著; 3) 绿洲生长季水分收支收入项(降水和灌溉, P+I)中, 灌溉占89.7%, 水分支出项主要为深层渗漏(DP), DP/(P+I)为81%; 4) 2012年生长季绿洲灌溉需水量为213 mm, 实际灌溉量比灌溉需水量多出474 mm, 远远超出所需, 水资源浪费严重。     

基因编辑婴儿的伦理、法律和社会蕴含

 同试管婴儿、克隆人、商业化代孕、干细胞治疗等医疗新技术引发的伦理争议相比，贺建奎基因编辑婴儿事件引发的关注更大、社会反响更为猛烈。探讨贺建奎基因编辑婴儿事件引发国际国内热议的原因，讨论了基因编辑婴儿的伦理、法律和社会蕴含。建议明确界定基因编辑技术的适用对象和范围，建立健全新型医疗技术临床应用的伦理审查和监管体系，提升全社会的伦理意识。     

Dashnic-Zusmanovich+矩阵线性互补问题解的误差界估计

利用Dashnic-Zusmanovich₊矩阵的定义,通过不等式放缩技巧和Dashnic-Zusmanovich矩阵逆的无穷范数估计式得到Dashnic-Zusmanovich₊矩阵线性互补问题解的误差界.     

Al涂层/AZ91镁合金复合铸造界面的研究

对型芯预喷涂一层Al涂层,将AZ91镁合金液浇注到铸型中实现基体和涂层的结合,对凝固后的结合界面组织和相组成进行分析。结果表明,AZ91镁合金液和Al涂层表面的氧化物发生反应,实现了界面间的润湿,形成冶金结合界面。该界面包含3个扩散层:镁合金基体一侧为(Al₁₂Mg₁₇+δ_Mg)共晶组织;中间层为Al₁₂Mg₁₇金属间化合物;Al涂层一侧为Al₃Mg₂金属间化合物,并弥散分布着一些氧化物。试验结果证明,通过复合铸造的方法可以实现Al涂层和镁合金基体的冶金结合。     

机载激光武器及其关键技术

 机载激光武器作为一种新概念武器受到各军事强国的关注。介绍了机载激光武器系统组成、工作原理和特点，分析了机载激光武器系统的作战应用；提出了机载激光武器系统的关键技术及其应用中需要解决的技术问题。